quaternion unimodular group

[数] 四元数幺模群